Finitely generated subgroups of amalgamated free products and HNN groups

Positive theories of HNN-extensions and amalgamated free products

It is shown that the positive first-order theory of an HNN-extension G = 〈H, t; tat = φ(a)(a ∈ A)〉 can be reduced to the existential firstorder theory of G provided that A and B are proper subgroups of the base group H with A∩B finite. For an amalgamated free product G = H ∗A J , we show that the positive first-order theory of G can be reduced to the existential first-order theory of G in case ...

On Intersections of Finitely Generated Subgroups of Free Groups

and asked if the factor 2 can be dropped. If one translates her approach (which is a slight modification of Howson's) to graph-theoretic terms, it easily shows that the answer is often "yes"in fact, for most U the answer is "yes" for all V. According to Gersten [G], the above problem has come to be known as the "Haana Neumann Conjecture." Using ideas of immersions of graphs originating from Sta...

Knapsack in Graph Groups, HNN-Extensions and Amalgamated Products

It is shown that the knapsack problem, which was introduced by Myasnikov et al. for arbitrary finitely generated groups, can be solved in NP for graph groups. This result even holds if the group elements are represented in a compressed form by SLPs, which generalizes the classical NP-completeness result of the integer knapsack problem. We also prove general transfer results: NP-membership of th...

Theories of HNN-Extensions and Amalgamated Products

It is shown that the existential theory of G with rational constraints, over an HNN-extension G = 〈H, t; tat = φ(a)(a ∈ A)〉 is decidable, provided that the same problem is decidable in the base group H and that A is a finite group. The positive theory of G is decidable, provided that the existential positive theory of G is decidable and that A and φ(A) are proper subgroups of the base group H w...

Subgroups of Quasi-hnn Groups